University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
21	Are Virtual Machine Monitors Microkernels Done Right? Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Dan Magenheimer† University of Cambridge Computer Laboratory † HP Labs, Fort Collins, USA 1 Add to Reading List Source URL: www.usenix.org - Date: 2005-09-17 20:24:25
22	1 Strategies as Concurrent Processes Simon Castellan∗ Jonathan Hayman∗ Marc Lasson† Glynn Winskel∗ ∗ Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-02-05 12:53:18
23	Real World Patterns of Failure in Anonymity Systems Richard Clayton, George Danezis, and Markus G. Kuhn University of Cambridge, Computer Laboratory, Gates Building, JJ Thompson Avenue, Cambridge CB3 0FD, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2001-06-13 10:38:25
24	LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979 Add to Reading List Source URL: events.inf.ed.ac.uk - Date: 2012-10-10 03:52:06
25	GEODESIC MODELLING OF PLANETARY RELIEF G E O F F R E Y DUTTON, Laboratory for Computer Graphics and Spatial Analysis, Graduate School of Design, Harvard University, Cambridge, Massachusetts, USA Add to Reading List Source URL: mapcontext.com - Date: 2008-08-29 23:56:54
26	Exciting and interesting: issues in the generation of binomials Ann Copestake Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2011-07-23 01:39:36
27	Acquiring Ontological Relationships from Wikipedia Using RMRS Aurelie Herbelot and Ann Copestake University of Cambridge, Computer Laboratory, J. J. Thomson Avenue, Cambridge, United Kingdom ,ann.copestake Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2006-11-14 18:34:40
28	Context-Aware Computing with Sound Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Laboratory for Communication Engineering, University of Cambridge Add to Reading List Source URL: rich.recoil.org - Date: 2006-04-13 14:58:03
29	Exploring the Stratified Shortest-Paths Problem Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List Source URL: www.cs.stir.ac.uk - Date: 2010-06-17 03:55:50
30	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building Add to Reading List Source URL: rich.recoil.org - Date: 2006-04-13 14:58:00

UPDATE